Rawls’s Self-Defeat: A Formal Analysis
نویسندگان
چکیده
منابع مشابه
A Self-Defeat Problem for the Rhetorical Theory of Argument
The rhetorical theory of argument, if held as the conclusion of an argument, is self-defeating. There are two arguments that it is. First is the quick and dirty argument: the rhetorical theory is that argument quality is adjudged by eliciting conviction, but the case for the theory is not convincing. Second is the process argument: if one has the view that one’s reasons are arranged with the so...
متن کاملFormal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized based on a combination of theorem proving and model checking to guarantee the correctness of these refinements. We argue that the framework of predicate diagrams is flexible enough to carry out a non-trivial verification tas...
متن کاملArgumentation in Multi-agent Systems: Self-stabilizing Defeat Status Computation
In this paper, we consider a multi-agent system where agents perform argumentation activity on the basis of knowledge both stated in their knowledge-bases and acquired from other agents. Starting from a previous proposal, we introduce a distributed approach to argumentation, removing some limiting assumptions, and we show by means of an example that the system can not be guaranteed to reach a s...
متن کاملMaking Sense of Misfortune: Deservingness, Self-Esteem, and Patterns of Self-Defeat
Drawing on theorizing and research suggesting that people are motivated to view their world as an orderly and predictable place in which people get what they deserve, the authors proposed that (a) random and uncontrollable bad outcomes will lower self-esteem and (b) this, in turn, will lead to the adoption of self-defeating beliefs and behaviors. Four experiments demonstrated that participants ...
متن کاملFormal Logic and Self-Expression
The digital computer can be used to synthesize images of Nature from first principles of mathematics and the natural sciences; these images can in turn serve as vehicles of self-expression for the artist directing the synthesis. This peculiar artistic process juxtaposes the deterministic formalisms of the scientific method with the subjective aspects of visual aesthetics and with the pursuit of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Erkenntnis
سال: 2018
ISSN: 0165-0106,1572-8420
DOI: 10.1007/s10670-018-0079-4